A formal model for plastic human computer interfaces

Formal Modeling For Pervasive Design of Human-Computer Interfaces

The advent of mobile interfaces induces an evolution on the Human Computer Interaction (HCI) field. We observe the emergence of several mobile devices and sensors that gave birth to the ubiquitous environments. In our research, we focus on: (i) how to adapt the interface to its environment, specifically in its context of use and (ii) what relationship has the context with the users’ task. This ...

Model-Driven Adaptation for Plastic User Interfaces

User Interface (UI) plasticity denotes UI adaptation to the context of use (user, platform, physical and social environments) while preserving usability. In this article, we focus on the use of Model-Driven Engineering and demonstrate how the intrinsic flexibility of this approach can be exploited by designers for UI prototyping as well as by end-users in real settings. For doing so, the models...

Constructing Human-Automation Interfaces: A Formal Approach

In this paper we present a formal methodology and an algorithmic procedure for constructing human-automation interfaces and corresponding user manuals. Our focus is the information provided to the user about the behavior of the underlying machine, rather than the graphical and layout features of the interface itself. Our approach involves a systematic reduction of the behavioral model of the ma...

A Formal Model of Collaborative Audience Interfaces

Anecdotal experience with collaborative audience interfaces such as Cinematrix suggest that such systems perform surprisingly well: untrained audiences rapidly self-organize to play games and follow mazes by controlling motion on a shared screen using individual plastic paddles and camera-based color detectors. We are developing a formal model to study such interfaces. In this model, each audie...

A formal model for component interfaces for real-time systems